The normal form theorem around Poisson transversals
نویسندگان
چکیده
منابع مشابه
The Normal Form Theorem around Poisson Transversals
We prove a normal form theorem for Poisson structures around Poisson transversals (also called cosymplectic submanifolds), which simultaneously generalizes Weinstein’s symplectic neighborhood theorem from symplectic geometry [12] and Weinstein’s splitting theorem [14]. Our approach turns out to be essentially canonical, and as a byproduct, we obtain an equivariant version of the latter theorem.
متن کاملNormal forms for Poisson maps and symplectic groupoids around Poisson transversals
Poisson transversals are submanifolds in a Poisson manifold which intersect all symplectic leaves transversally and symplectically. In this communication, we prove a normal form theorem for Poisson maps around Poisson transversals. A Poisson map pulls a Poisson transversal back to a Poisson transversal, and our first main result states that simultaneous normal forms exist around such transversa...
متن کاملEvans' Normal Form Theorem Revisited
Evans defined quasigroups equationally, and proved a Normal Form Theorem solving the word problem for free extensions of partial Latin squares. In this paper, quasigroups are redefined as algebras with six basic operations related by triality, manifested as coupled right and left regular actions of the symmetric group on three symbols. Triality leads to considerable simplifications in the proof...
متن کاملAround Context-Free Grammars - a Normal Form, a Representation Theorem, and a Regular Approximation
We introduce a normal form for context-free grammars, called Dyck normal form. This is a syntactical restriction of the Chomsky normal form, in which the two nonterminals occurring on the right-hand side of a rule are paired nonterminals. This pairwise property allows to define a homomorphism from Dyck words to words generated by a grammar in Dyck normal form. We prove that for each context-fre...
متن کاملNormal Form Theorem for Systems of Sequents
In a system of sequents for intuitionistic predicate logic a theorem, which corresponds to Prawitz’s Normal Form Theorem for natural deduction, are proved. In sequent derivations a special kind of cuts, maximum cuts, are defined. Maximum cuts from sequent derivations are connected with maximum segments from natural deduction derivations, i.e., sequent derivations without maximum cuts correspond...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pacific Journal of Mathematics
سال: 2017
ISSN: 0030-8730,0030-8730
DOI: 10.2140/pjm.2017.287.371